We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.com·2h·
Discuss: Hacker News
📐Formal Methods
A reckless introduction to Hindley-Milner type inference
reasonableapproximation.net·1d·
Discuss: Lobsters
📐Formal Methods
Show HN: I'm a non-coder who turns 1-line intents into full-stack blueprints
news.ycombinator.com·39m·
Discuss: Hacker News
🏹Apache Arrow
Myth vs. Reality: Real-World Runtime Performance of Node.js, Deno, and Bun
hackernoon.com·15h
🌊Stream Processing
Common Expression Language – Fast, safe expression language
cel.dev·6h·
Discuss: Hacker News
🏹Apache Arrow
LL and LR Parsing Demystified (2013)
blog.reverberate.org·20h·
Discuss: Lobsters, Hacker News
📐Formal Methods
Crafting a dependent typechecker, part 1
blueberrywren.dev·3d·
Discuss: Hacker News
📐Formal Methods
Gren 25S: Easier interop, concurrent tasks and zero-install packages
gren-lang.org·1d·
Discuss: Lobsters, Hacker News
🔷Typescript
Dennis Ritchie: The Man Who Gave Us C Language
karthikwritestech.com·1d·
Discuss: Hacker News, r/programming
📐Formal Methods
Fast(er)API: Optimizing Processing Time
fabridamicelli.github.io·9h·
Discuss: Hacker News
🧩Microservices
Issues you will face binding to C from Java.
mccue.dev·21h·
Discuss: Hacker News, r/programming
🏹Apache Arrow
Using Claude Code as a Personal Tutor
jimmymeetsworld.com·16h·
Discuss: Hacker News
📐Formal Methods
What makes SQL special
technicaldeft.com·2h·
Discuss: Hacker News, r/SoftwareEngineering, r/programming
🗃️Database Internals
Assembly_verify
philipzucker.com·1d·
Discuss: Lobsters, Hacker News
📐Formal Methods
Fmtlib / fmt A modern formatting library
github.com·1d·
Discuss: Hacker News
🏹Apache Arrow
Coding with LLMs in the summer of 2025 (an update)
antirez.com·2d·
Discuss: Lobsters, Hacker News, r/programming
📐Formal Methods
Geany 2.1 is out (now with LSP)
geany.org·17h·
Discuss: Hacker News
🏹Apache Arrow
Show HN: I made an extension for VSCode that integrates opencode
marketplace.visualstudio.com·2d·
Discuss: Hacker News
🦀Rust
A Full Code Agent in 200 Lines
cthiriet.com·17h·
Discuss: Hacker News
🏹Apache Arrow
XSLT: A Precision Tool for the Future of Structured Transformation
xml.com·1d·
Discuss: Hacker News
🗃️Database Internals